Mechanical theorem proving
[计] 机器证明
🧩 词语组成解析
[计] 验证, 证明\\n[医] 药力试验(顺势疗法的名词)
🗣️ 情景例句
They took everything I had.
他们拿走了我的一切。
I'll walk you to the door.
我送你到门口。
When I asked him what he was doing, he smiled guiltily and then put the parcel on the desk.
当我问他正干什么时，他内疚地笑了，然后把那个大包拿到了桌上。